- член дизъюнкции
- term of disjunction мат.
Русско-английский научно-технический словарь Масловского. 2015.
член дизъюнкции
Look at other dictionaries:
разделительное суждение — дизъюнктивное (от лат. disjunctio разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки или . Общая форма Р. с. имеет вид А1 v A2 v, ..., v An, где Аn суждение (член дизъюнкции, альтернатива), a… … Словарь терминов логики
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Полином Жегалкина — Полином Жегалкина многочлен над кольцом , то есть полином с коэффициентами вида 0 и 1, где в качестве произведения берётся конъюнкция, а в качестве сложения исключающее или. Полином был предложен в 1927 году… … Википедия
КОНСТРУКТИВНАЯ ЛОГИКА — 1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается … Философская энциклопедия
конструктивная логика — КОНСТРУКТИВНАЯ ЛОГИКА (от лат. constructio построение) совокупность логических принципов, признаваемых приемлемыми представителями конструктивизма в математике. Предметом конструктивизма являются конструктивные объекты и конструктивные… … Энциклопедия эпистемологии и философии науки
модус толлендо поненс — (лат. modus tollendo ponens) термин средневековой логики, обозначающий разделительно кате горическое умозаключение: первое или второе; не первое; значит, второе. Первая посылка умозаключения разделительное (дизъюнктивное) высказывание; вторая… … Словарь терминов логики
Синтагматика — Синтагматика 1) один из двух аспектов изучения системы языка, анализ особых синтагматических отношений между знаками языка, возникающих между последовательно расположенными его единицами при их непосредственном сочетании друг с другом в… … Лингвистический энциклопедический словарь
Формирование понятий (concept learning) — Понятие способ категоризации элементов и демонстрации характера существующих между ними взаимосвязей. В задаче на Ф. п. (concept learning task) определенные признаки стимулов связываются друг с другом в соответствии со специфическим правилом. Нек … Психологическая энциклопедия
ПИРС — (Peirce) Чарльз Сандерс (1839 1914) амер. философ и ученый, основатель прагматизма. Род. и бoльшую часть жизни провел в г. Кембридже (шт. Массачусетс). Время от времени читал курсы лекций в Гарварде и ун те Джонса Хопкинса. Он публиковал в… … Философская энциклопедия
Конструктивная математика — У этого термина существуют и другие значения, см. конструктивизм. Конструктивная математика абстрактная наука о конструктивных процессах[прояснить], человеческой способности осуществлять их, и об их результатах конструктивных объектах. Содержание … Википедия
Валентность (лингвистика) — У этого термина существуют и другие значения, см. Валентность (значения). Валентность (от лат. valentia сила) в синтаксисе способность слова вступать в синтаксические связи с другими элементами[1]. Термин заимствован из химии (ср. валентность… … Википедия
